Mesure de Radon
Mesure borélienne finie sur les compacts de \(E\).
- les mesures de Radon sont régulières sur \({\Bbb R}^d\) ou sur un espace métrique localement compact séparable : $$\begin{align}\mu(A)&=\inf\{\mu(U)\mid U\supset A\text{ ouvert}\}\\ &=\sup\{\mu(K)\mid K\subset A\text{ compact}\}\end{align}$$
- on en déduit la régularité de la mesure de Lebesgue \(\lambda_d\)
Mesure borélienne,
Compacité
